Getting NesC and TinyOS Ready for Prime Time

نویسندگان

  • William P. McCartney
  • Nigamanth Sridhar
چکیده

NesC provides us with many useful additions to the standard C language. Much of these contributions would be beneficial to embedded systems at large, and not just sensor networks. Many papers talk about sensor networks becoming ubiquitous in the next few years. However, without leveraging existing embedded systems developers, this seems far fetched. There are several problems which must be overcome in both the development focus and tools available before TinyOS, or any future platform, is ready for prime time. We discuss some of these problems, and suggest techniques to address them.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Case Study on Prototyping Power Management Protocols for Sensor Networks

Power management is an important problem in battery powered sensor networks as the sensors are required to operate for a long time (usually, several weeks to several months). One of the challenges in developing power management protocols for sensor networks is prototyping. Specifically, existing programming platforms for sensor networks (e.g., nesC/TinyOS) use an event-driven programming model ...

متن کامل

Rapid Prototyping of Power Management Protocols for Sensor Networks: A Case Study

Power management is an important problem in battery-powered sensor networks as the sensors are required to operate for a long time (usually, several weeks to several months). One of the challenges in developing power management protocols for sensor networks is prototyping. Specifically, existing programming platforms for sensor networks (e.g., nesC/TinyOS) use an event-driven programming model ...

متن کامل

Towards a Model Checker for NesC and Wireless Sensor Networks

Wireless sensor networks (WSNs) are expected to run unattendedly for critical tasks. To guarantee the correctness of WSNs is important, but highly nontrivial due to the distributed nature. In this work, we present an automatic approach to directly verify WSNs built with TinyOS applications implemented in the NesC language. To achieve this target, we firstly define a set of formal operational se...

متن کامل

Temporal Monitors for TinyOS

Networked embedded systems generally have extremely low visibility of system faults. In this paper, we report on experimenting with online, node-local temporal monitors for networked embedded nodes running the TinyOS operating system and programmed in the nesC language. We instrument the original node software to signal asynchronous atomic events to a local nesC component running a runtime veri...

متن کامل

A Systematic Framework for Evolving TinyOS

TinyOS [1] is a key element of the software infrastructure for the research and development community involved in realizing wireless sensor networks (WSNs). In order to improve the long-term impact of the research developed by the WSN community, we contend that it is important to exploit Moore’s Law to augment TinyOS on current and future sensor motes. The tenfold increase in available RAM sinc...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008